textview: Use adjustment animations in gtk_text_view_scroll_to_iter()

This makes keyboard-triggered scrolling animated, as this function is
used underneath in order to make the cursor onscreen after it is
displaced.

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 581a378834041aae62ef39aa744e852c98f56604..672d31a9beae5a3dda66d08092511138f0dab1ef 100644 (file)
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -2163,8 +2163,8 @@ gtk_text_view_scroll_to_iter (GtkTextView   *text_view,
   
   if (scroll_inc != 0)
     {
-      gtk_adjustment_set_value (text_view->priv->vadjustment,
-                                current_y_scroll + scroll_inc);
+      gtk_adjustment_animate_to_value (text_view->priv->vadjustment,
+                                      current_y_scroll + scroll_inc);
 
       DV (g_print (" vert increment %d\n", scroll_inc));
     }
@@ -2200,8 +2200,8 @@ gtk_text_view_scroll_to_iter (GtkTextView   *text_view,
   
   if (scroll_inc != 0)
     {
-      gtk_adjustment_set_value (text_view->priv->hadjustment,
-                                current_x_scroll + scroll_inc);
+      gtk_adjustment_animate_to_value (text_view->priv->hadjustment,
+                                      current_x_scroll + scroll_inc);
 
       DV (g_print (" horiz increment %d\n", scroll_inc));
     }